relational complete language

un. 关系完备语言